Lets take a look at this axiom: > If it is true that we are our cells So we can manipulate subsequent axioms together with this one. It is not terribly surprising we can end up with a conclusions like my cells' decisions are mine?-Godel may have a comment on self referential proofs though.