https://jml.io/posts/impossible-bugs/