CrabMan

The proposition ∀x(Ex) is not well formed for two reasons: (1) you can't bind the same variable with a quantifier when it's already bound by another quantifier; (2) there must be some kind of formula after Ex.

Nicotine boosts IQ and performance on a wide range of measures. Also it's harmless if you don't smoke it and don't get addicted to it. I've never smoked. I buy nicotine gum and use it right before an exam. Obviously you should try it in your free time first to check if you have adverse reactions.

Perhaps this short story gregegan.net/DIASPORA/01/Orphanogenesis.html will be of interest to you. There minds are grown digital. At some point they reach self awareness. The system detects this and at this point declares them persons with rights, etc. There is some description of what is meant by self awareness.