elementarity

not defined yet