reduction has come far, but is not quite working yet