substitute no longer in Term hierarchy