I like eta reducing as well. consider it done.