... necessary condition and then simply negate the remaining and make that the sufficient. ... be /MGS--->Sun and /Sun-->MGS. So ... in group 3? Negate the sufficient? What about this example, ... the necessary, and negate the remaining and get MGS-->Sun and / ...