∃∀
11 following