In Note 2, “The behavior …have semantics” is not grammatically correct. Proposed change: Strike “The behavior of”.