a mathematical lexer/parser thing.