Hi again, Won't be ready by tomorrow and didn't manage to announce it anyway, so I'll postpone the "comments on Kripke's talk" talk to next week Tuesday Nov 3 at 3:30. -R