Assembling proof and project context.