proofInputSchemas