use rules from petrovich submodule