A note on the analysis of theorem-proving strategies