A proof system that presupposes more powerful foundational machinery cannot be deemed simpler in any...