Loading the proof…

Assembling verified work and context.