add formal proposal