binding-verification