typo: symantics -> semantics