Description: Distribute proper substitution through herditary relation. (Contributed by RP, 29-Jun-2020)