safer verification of basic reduction results