所以 @RefineInk 在捕捉推导中的符号错误方面非常出色，运行一次或几次，你所有的符号错误就会神奇地消失。