Extended existential materialization.