Logically, there is no problem in having these two kinds of knowledge in the same system ('knowing that X' can be implemented as 'knowing how to respond to a question about X', or 'knowing how to do X' can be implemented as 'knowing that the set of operations Y is required for doing X'), and all the evidence suggests that this is what happens in the brain, where both of these knowledge types resid