[throwawaymaths]

I'm not talking about lex. Lex is fine (if boring; that's good, it puts the focus on the guest).