towards an exhaustive reduction unit check...