...p[2].¹

Why p[2] and not p[1]? Well, the abstract model allows for the possibility that there are numbers in the range [0,i-1). Counterexamples including such a value would be pretty confusing if i were equal to one!

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... file.²

Netscape users: you cannot run this example directly from Netscape, because netscape will not load the included file.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.