Wrote some awful reduction code and then got rid of it