Modify DESIGNDOC

SYNCHRONIZATION, RATIONALE