This way it will print when the verification takes place, making it a bit more obvious which formula it refers to.