Facts, rules with no body