added check on result triples