more consistent naming in Data.Prop.