Synthetic Existence