What even is compiler correctness? (cross-post)

::

By: William J. Bowman