Moore nowhere explicitly bifurcates his theory into a criterion level and a decision-procedure level...