contact: ∃x,y∈Σ*, Email('prayerie' x 'icloud' y) | x='@', y='.com'