nondichotomously
not defined yet