 An especially notable consequence proved by John R. Steel is that the axiom of determinacy holds in L(R), the smallest inner model containing the real numbers.Another consequence is the failure of square principles and hence existence of inner models with many Woodin cardinals.If there is a supercompact cardinal, then there is a model of set theory in which PFA holds.