added a few initial triples