Formal Existence – Another Day