⁵ In formal notation: (∀x : x◇x). Remember that ∀means “for every” or “for all.”