converse implication

  1. REDIRECTConverse (logic)

{{R from merge}}