refutation

not defined yet