Using the new rules checker (Stefan)