... in that condensing the difficult conditional statements into "if then" ... x, then y" was intuitive, it had the opposite effect ... write it down into traditional conditional logic form. By the ... necessary condition, then the conditional statement is really just b ...