when you have to give a formal grammar for your notation because you realised you never defined what a variable is #mathmoproblems
This time I got as far as the "contribute a new sequence" page before realising my sequence was already in but off-by-one. #mathmoproblems