["A" ∧ "B" ∧ "C" ...