Some more work on the specification language