infallible algorithms