Comment by srean

True, I guess you understood what I meant, that they are different things.

Indeed, as you allude, you cannot have both in an expressive enough system.