Tag: pt fun with tautologies