FIN.

Tag - equivalence decisions