spec3: complete