Reduction Variable Recognition