But setting `x` based on the result of either expr...
# announcements
z
But setting
x
based on the result of either expression is easier to prove.