The procedure exists_and_equal is not defined in the server.

Show another procedure: