Optimizing relativizing variables 'n such.