[math-fun] church of the sub-genus?