# Equivalence between label locations # used by Karl Kluge (right) and others, including me (left)