... 4 on PT26 (the lawmakers and scientists with one chairperson) ... since the necessary is satisified and the sufficient condition falls ... is a F -> G rule, and the contrapositive is /G -> ... , the necessary is satisfied and the sufficient condition falls away ...