and now, lexing with φ!