It is well known, and was first proved by Sylow (1872), that every group of prime-power order p has a presentation of the form {a1, . . . , an | api = vii, 1 ≤ i ≤ n, [ak, aj ] = vjk, 1 ≤ j < k ≤ n}, where vjk is a word in the elements ak+1, . . . , an for 1 ≤ j ≤ k ≤ n . A presentation of this form is now called a power-commutator presentation for the group and written briefly {A | R} . As was...