The problem of the calissons, by rewriting


We show each of four confluence techniques: random descent, proof orders for decreasing diagrams, bricklaying, and local undercutting, serves to solve the problem of the calissons.