What happens when you take a tool for reasoning about your code, and plug it into the UI of the very code that…