Implicit Propagation in Object Algebras