Thanks :) That’s a good idea — each rule has real-number examples, but there’s nothing to solve. It would be fun to add test problems to use the rule on.