DEV: Add definition of TripleHolder