Should be `S(7)/2`