Oddbean new post about | logout
 @14360743 Is that what the definition says?