(!! new spec) Implement the 'specification' bag