"[A computer program for Task A qua an explanatory model and how a human cognizer actually carries out Task A are equivalent in the strong sense when it can be shown that]... the model and the organism are carrying out the same process."