Add comments for each of these clauses saying what kind of lambda we are in.