Dr. Haisman was about to complete his theory when he came up against the problem of verification.

• 海兹曼博士将要完成他的理论时，面临了证明的问题。