, is a partition but must still be recognized as a bit of information to account for computational complexity this is an example of the extended machine objection to Godel's incompleteness theorems of simple arithmetic sustems y - in particular -