nonaxiomatically

not defined yet