What do you think of `refute` for this?