frontCoke coke <<--- ∀∃∅∧∞ --->>