4 ms·

Byzantine Incompleteness enters the chat. Either you go formal, or you test the tests, and then test those ...