Qiaochu_Yuan comments on Failed Utopia #4-2

[Qiaochu_Yuan]

Let A = “humans” and B = “male humans.”