Pauli exclusion principle
The spin here only comes into play through the Pauli exclusion principle, which for fermions (like electrons) requires antisymmetry under "simultaneous exchange of spin and coordinates"