removed Prop.hs