No one’s following math.g23 yet