-for-all is now surgical about passing up only arguments that actually get used in its result clause (no more crazy warning salad)