refutations

not defined yet