See diff in Cedar vs Prop