1996a, "On the proof of Frege's theorem" in A.