# Classical logic