Martin’s Conjecture is a proposed classification of Turing-invariant functions under the Axiom of Determinacy. Whether the classification holds for the ostensibly smaller class of order-preserving functions is open, but more tractable. For example, it is known that the conjecture holds restricted to the Borel order-preserving functions. In this talk, we'll explain an approach to proving Martin's Conjecture for order-preserving functions beyond the Borel ones via inner model theory. This is joint work with Patrick Lutz.