Logic. Pure, unadulterated logic