lambdaterm's Following