Re: [SR-Users] Topos and subst_hf