is part of a series of exercises called

2 triples
GPTKB property