I think it's better.

I think it should not be moved to SpecET because it's abstract, not really an "example" though you could expand it into one.
.................David Marston