有那些方程需要检验?