Ah, I suspect because proving that you set `x` in ...

# announcements

[zoltu]

Ah, I suspect because proving that you set x in both expressions is non-trivial (just guessing).