Oddbean new post about | logout
 Agreed. The former is what is typically presented as proof.