add assumes to prevent accidental use of mor than 8 StringSetS or too
many StringEndS'es