Propagated notions