How Many Rock Types