noninfallibility

not defined yet