What Rock Types Existential Definition