Oddbean new post about | logout
 Either it can be proven or disproven