unparadoxal
not defined yet