[SequenceSpec] Missing spec