5.9: Pauli Exclusion Principle