Assuming we haven't intentionally incorporated looping logic in our Rulesheet, then we need a way to discover if unintentional loops occur in our rules.