Use refute

This makes it a bit more semantic and exposes people to both assert and refute