Lambda Integration With Substitution