spec7:implement