Translation, Reduction and Equivalence door David Pearce