The labels `inheritance` and `propagation` need updating