Logic hoàn chỉnh, đẩy