Убедительная демонстрация правильности невозможна, если механизм рассматривается как черный ящик, наша единственная надежда заключается не в том, чтобы не относиться к механизму как черного ящика.