ยง Representation theory of the symmetric group (TODO)