corrected eta reduction and improved list form reduction