spec1: complete