Loading workspace…

Assembling proof and talent context.