to Tingnan: if you every need an argument why one must quotient symmetries, this is is

plus bugs for n=6, 7 and 8?