Working on switching from fake to real triples in Example