implicatory

not defined yet