propagate forward semantics.