Multiple variables and multiple goals can be used simultaneously. The following code asks for a number x such that x == z and z == 3 ...