subst+ does not depend anymore on the loading phase