Initial version of rule checking