wrote the section about envelope theorem