从相似性分析，不应该是去削弱formal 帮助之间的相似性么？那为什么不选c啊？