 Certainly, one might know all the propositions that are relevant to how to perform a task, and yet fail to know how to perform it: knowledge-that does not seem sufficient for knowledge-how (see also Ryle 1940: 38–9). 