consistency diagrams

recovery diagram
propagation diagram