1The Semantic Police: Stop or my compiler will prove a theorem (opens in new tab)(kp9.in)1kp9951mo ago0