Theory of Computing Exchange