infallibility
not defined yet