add propagates? check to derives?