desseim
09/30/2015, 10:11 AMinit to having to name each specification (even with backquote-notation).
At least it’s once per spec. class.
I’m afraid specification names are redundant with their declaration (“given … on … it …”) and would either mirror the values of given / on / it or have arbitrary names.