We are all born with a certain package. We are who we are: where we were born, who we were born as, how we were raised. We're kind of stuck inside that person, and the purpose of civilization and growth is to be able to reach out and empathize a little bit with other people.
"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."