Almost done!. (95% of Prop.v)