 In the intended cases, \(f(p)\) does not contain any information that is not contained in \(p\). This is ensured if \(f(p)\) is a logical consequence of \(p\). By adding further conditions on \(f\), various additional properties can be obtained for the operation of selective revision.