Internal inconsistencies or impossibilities (obviously, this should never be seen if the code is working!).