Oddbean new post about | logout
 QED!