²¹No contractions are done on expressions containing three or more epsilons which sit in the same space. We are not sure whether it is useful to be more general than we are presently.