Premise: In this case, a faster execution is possible than shown on Exhibit A-5 in Appendix A.

Hypothesis: There is no faster possible execution than that shown on Exhibit A-5 in Appendix A.
Relation: contradiction