elementariness

not defined yet