Un errore nella dim.
Sostituire
“Poiché la giungla contiene Barguest “B” e Mimacannibali “M”, se B divora A ottengo BA, e se BA divora M ottengo BAM”
al posto di
“Poiché la giungla contiene Barguest “B” e Mimacannibali “M”, se A divora M ottengo AM, e se B divora AM ottengo BAM”
[che è...