Can we `refute` rather than test for `false`?