updated notation to use x for appliance states instead of z