i didn't know that it is possible to put lambda as substitution.