ProgramCrafter comments on Introspective Bayes