Byzantine Incompleteness enters the chat.

Either you go formal, or you test the tests, and then test those ...