started working on proof of 1.8