Sakurai develops the formalism from the symmetrization postulate, emphasizing the abstract structure. His treatment of the permutation group for $N$ particles is more systematic than most undergraduate texts. The discussion of Young tableaux (for those who want to go deeper into the group theory) an