Simplifications to specifications program documents.