  In this paper we prove a functional transcendence statement for the
j-function which is an analogue of the Ax-Schanuel theorem for the exponential
function. It asserts, roughly, that atypical algebraic relations among
functions and their compositions with the j-function are governed by modular
relations.
