fix notation of z_and_x