Added Triple.h