File:MP3.1C.Existential.Type.20200721.pdf