almost done with S2!

proof finished \o/