Title: Reasoning with constraint diagrams