[D&I] More on semantics
[D&I] More on semantics