complementariness

not defined yet