The procedure set_difference! is not defined in the server.

Show another procedure: