Verify and test rules