make it larger. NO INFINITE ORDINALS you can use BEAF, TREE, and the FISH function factorials allowed NO DOING THE SAME TRICK no self-remixing
