definitions are not the same as symantics