An adequate definition of the reduction-predicate must capture the intuitions that guided the use of...