No one’s following math8888 yet