Installed automated propagation for deductive category.