is a law that is often discussed in

1 triples
GPTKB property