true_rule is never used - remove?