nonparadoxically
not defined yet