What does it mean to say two circuits in two different models "do the same thing"?| seantrott.substack.com