推理没有type help顺畅，胜在体量不小。