longer need the former since there we no longer have the substitutes-rev table (which triggered a O(n^2) cost in updating them).
longer need the former since there we no longer have the substitutes-rev table (which triggered a O(n^2) cost in updating them).