infallibleness

not defined yet