diffmodel and rules simplified