∀x,t[(x∈U)t→∃t'[t'>t∧∼(x∈U)t']]

Comprised of:

1. ∀x,t[(x∈U)t→∃t'[t'>t∧∼(x∈U)t']] Male Person, Born: in

Recordings (1)

1. Anityatā 21:52 (2010)