elementarity
not defined yet