"T"^^ . "v" . . . "disprove" . . "COD: prove to be false"^^ . "disprove.v" . "disprove.v"^^ . .