"assert !" -> "refute"