... I'm going through the core curriculum a second time, and ... is, if we are doing a logical reasoning problem, ... t sing...in order to prove that Kay in fact doesn ... also deny the necessary in order for the sufficient to ... Kay doesn't sing, in order to prove that would ...