File:Law.png

The axiom of LAW, using Walter's color