reflexiveness

not defined yet