spec4: complete