formally是什么意思