Use assert for a bit more clarity
Use refute for a bit more clarity