Decreasing Diagrams for Confluence and Commutation (Logical Methods in Computer Science, 2020)