reductio

not defined yet