noninfallibleness

not defined yet