added slope stuff and a bit to the proof