The metatheory used to verify the finite/cofinite structure is a model must itself be stronger than ...