The joy of lex and the satisfaction of precision