infallible

not defined yet