intermediate version. lookahead lambda structure seem okay on the outside