axioms for enriched n-cats; but these might need to be modified since the product axiom seems to require that these are sets with structure after all

grep -o beginpgfgraphicnamed\{[0-9A-Za-z-]*\} < *.tex | sed -e 's/beginpgfgraphicnamed{//' | sed -e 's/}//'