Infallible Logic