pass a name to liftSubst