nonimplicatively

not defined yet