 It is difficult to see what more Parmenides could have inferred as to the character of what must be simply on the basis of its modality as a necessary being. In fact, the attributes of the main program have an underlying systematic character suggesting they are meant to exhaust the logical possibilities: What Is both must be (or exist), and it must be what it is, not only temporally but also spatially. For What Is to be (or exist) across times is for it to be ungenerated and deathless; and for it to be what it is across times is for it to be “still” or unchanging. For What Is to be (or exist) everywhere is for it to be whole. For it to be what it is at every place internally is for it to be uniform; and to be so everywhere at its extremity is for it to be “perfect” or “complete.” Taken together, the attributes shown to belong to what must be amount to a set of perfections: everlasting existence, immutability, the internal invariances of wholeness and uniformity, and the invariance at its extremity of being optimally shaped. What Is has thus proven to be not only a necessary but, in many ways, a perfect entity.