when you have to give a formal grammar for your notation because you realised you never defined what a variable is #mathmoproblems