所以 @RefineInk 在捕捉推導中的符號錯誤方面非常出色，運行一次或幾次，你的所有符號錯誤就會神奇地消失。