valid: spec + ...; OK