Mathematical existence

Summary