moved to doc/ because of specification