A structural theory of machine diagnosis | Synapse