inequipotentiality
not defined yet