Buss and Cook's work on bounded arithmetic reveals that the metatheoretic reasoning validating trans...