30.9 The Pauli Exclusion Principle