Axiomatic Diagram