reduce and verify cleanup