done with proof of prop

(I hope!)