spec2: complete spec2