Better loading-done but subst⁻ is still not accepeted as terminating...