definitions are not the same as symantics

Here’s some users with definitions are not the same as symantics in their profile.