EWT1 | ← EWT1 (*)