To the best of our knowledge, there is no image object identification tool with proof that it correctly identifies the image objects. To meet the high standards of correctness, we provide a formal ...