What Is the Pauli Exclusion Principle?