Select the best translation into predicate logic: Caroline is sweet if, and only if, Janet is engaged to Brad. (Sx: x is sweet; Ex: x is engaged to Brad; c: Caroline )
(A)Cs ⊃ Ej (B)Sc ≡ Ej (C)sC ≡ eJ (D)Sx ≡ Jy
B