It's only unclear if you don't understand that if/then is not commutative. If I said that x/y = z, it wouldn't be "unclear" whether that implies that y/x = z,

It's only unclear if you don't understand that if/then is not commutative. If I said that x/y = z, it wouldn't be "unclear" whether that implies that y/x = z, because the division operator simply isn't commutative.