indivisibility
not defined yet