[2303.09358] Full Abstraction for Free