nonimplication

not defined yet