John Regehr @John Regehr 1786147982 Fig 1 in a paper about translation validation shows a pair of programs such that f is not refined by g ❤️cc @nprofile1q... 1