implicational

not defined yet