Thanks! Until I saw your comment, the third-from-last paragraph (combined with the impression of credibility created by the rest of the post) was making me very sad because of what it implies about the effectiveness of decision theory and the usefulness of formal goal systems. My probability of the success of the FAI project dropped sharply in a few minutes, then recovered when I read your comment.