This paper is based on a lecture given at the Clay Mathematics Institute in 2088, but has been rewritten to take account of recent developments. It focuses on a special case of the theory of Fredholm theory in polyfolds, which allows for boundaries with corners, it focuses on a special and illustrates it with a discussion of stable maps, a topic closely related to Gromov-Witten theory.