(6∀2)