rules are rules and tautologies are tautologies

Comments