debugging real triples