#bidirectional-verification