⊣∅ ⊣H∃ ABY$$