Comment by sincerely

I’m not even sure what would be gained by formal verification of a GUI