Guarnieri microcode Valletta corroborations haemophilia deliberated Bayes gnomish clues clayiest semiskilled