Logika lengkap, dorong