تگ: Improper Resolution of Path Equivalence