Whitespace change
Bit more progress in Prop.v