 This creates a problem for a Horwichian minimalist. Let us suppose that \(\beta\) is one of the general propositions that must be provable. Restricted to the resources available through Horwich’s minimalism, we can show that \(\beta\) cannot be derived.