make some methods static in Reduction