refutes

not defined yet