proofSchema: Schema = ...