I suppose I needn't really mention this, but in my last message, please read "Projective determinacy" for The proof of projective determinacy." Bill Tait