Much better. I was to blame in 510ebeca9, where I got rid of the duplication in calls to `isApplicable`, but missed this much simpler recursive formulation.