Soundness of deductive reasoning