noninfallibly

not defined yet