Explicit existential quantification over algorithms in the definition of the triangle relation.