but the path t0, t1, t2, t3 can now be loosely reﬁned into this new path in G1. All shorter paths are already loosely reﬁnable 
since they are weakly reﬁnable, so the modiﬁed transformation is PL↓.
A-framework-for-analysing-state-abstraction-metho_2022_Artificial-Intelligen