Added term propagation