Pauli exclusion