It is commonly agreed that the well-known Lucas–Penrose arguments and even Penrose’s ‘new argument’ in [Penrose, R. (1994): Shadows of the Mind, Oxford University Press] are inconclusive. It is, perhaps, less clear exactly why at least the latter is inconclusive. This note continues the discussion in [Lindström, P. (2001): Penrose’s new argument, J. Philos. Logic
30, 241–250; Shapiro, S.(2003): Mechanism, truth, and Penrose’s new argument, J. Philos. Logic
32, 19–42] and elsewhere of this question.