reword and regroup specs to make reading easier
make sure specs exactly assert what they describe in English