... the if and only if here is referring to P so the solutions in the ... past would make P sufficient condition and the only if part would ... will always be together in the "in" group or in the "out" group. ... where one variable is in and the other is out. So ...