How we can think about pushouts as applying rules via substitution, featuring examples in categorical databases and Datalog.