Tag: definition of contraction