combinator Prop.raises