User blog comment:Vel!/Formal logic challenge/@comment-10429372-20140710101014/@comment-25418284-20140710160128

Yeah, the group theory one, not the number theory one.