ET1 by Existential Theory