If you try to know your mind with your mind, you will not be able to avoid misunderstandings (Seng-ts'an). [...] therefore 17 Gen r is not c-decidable, meaning vPr(v) is not c-decidable (Kurt Gödel).