Lógica completa, empujar