TMYCIN:
