update for theory propagation