So men are, basically, redundant