Initialized proof document