Testable implications of general equilibrium theory: a differentiable approach · Study