Of course, there are never any guarantees. Even with human statements. Even a mathematical proof is not necessarily correct. But we are working on approaches to develop a reliability measure.