Specifications with just a name correctly flunks with "not implemented"