Oddbean new post about | logout
 A∧¬Aは恒真式だよ