Done with Prop.v for now!
Removed a SearchAbout, updated b and initial commit of MoreProp.v