Residuation = Skolemised Confluence


We express local confluence and the diamond property by means of residuation on peaks of steps. We extend residuation to peaks of reductions by means of tiling, and to 3-peaks of faces by means of bricklaying, and investigate some ramifications of our approach.