First proof of intro and methods
Revised conclusion