Logic

Which statement correctly identifies the logical status of the two requirements for soundness?