 This construction can be further specified by adding various requirements on the structure of \(R\). Close connections have been shown to hold between shielded contraction and semi-revision. (Fermé and Hansson 2001)