The Pauli Exclusion Principle