Pauli's exclusion principle