Какой баг невозможно обнаружить при верификации?