clarify spec assumptions