A proof system that builds in the resources needed to derive a principle cannot serve as independent...