Oddbean new post about | logout
 It is on a quotient.