1.推问验证。
2.推步验证。