document `assert_not_XYZ` in place of `refute_XYZ`.