... negation of and/or statements in conditional relationship! If, for ... Kay doesn't sing...in order to prove that ... also deny the necessary in order for the sufficient ... if ONE of the conditions in the necessary if failed ( ... Kay doesn't sing, in order to prove that ...