Performing Eta reductions