How do we trust that our x86 ISA model is faithful to the real machine?
Doc. topic coming soon! For now, here's an illustrative image.