added Prop_J.v