The Practical Dev's review of A Formal Look at Selenium’s NoSuchElementException