use `refute_valid object`