<p>If your name is Theresa, you can write your name as ∃A.</p>