Substitution and Adjunction added