Alice and Bob are truth-tellers, Carol is a liar.