Benya comments on We won’t be able to recognise the human Gödel sentence