Progress in Prop.v