User blog comment:MachineGunSuper/How do I get past this?/@comment-30869823-20180826173256

Try making the omega fixed point +1 part of your notation?