Text this: Completeness for the Complexity Class ∀∃R and Area-Universality.