basic rule construction and superrule computation works