adding Prop as a measure in Prelude