Is binding only the option for connecting the assertions to a model?

[user49]

In reply to dave_59:

But form a verification perspective, it is better that two different people are involved.