And this exactly is what semantics will bring in.

而且这正是语义需要引进的。