creating the notAboveLambda function