Hurkmans, A. How Frege Failed to Prove the Equivalence of ’nothing Is F’ and ’the Number of F’s = 0’ in Grundlagen. Proceedings of the AC 1995, 377-385.