Inspired by Cook’s NP vs. coNP Program we will introduce uniform proof systems which will be subsets of first order formulas defined via translations to propositional proof systems. We will describe basic properties of them, discuss their relationship to the mentioned Cook’s Program, and explain some more advanced features of them.