∩^ω^∩ ∩^ω^∩ ∩^ω^∩