On reasoning, congruence, and other matters