Formal Existence – Track 1