Logical completeness, push