Initially empty spec