Worked through an example of triples