spec7: complete