Machine-independent evaluation of theorem-proving strategies (Position paper)