Lógica completa, empurre