Section 2A introduced

1 triples
GPTKB property

Random triples