Check out my first novel, midnight's simulacra!
The assertion that only those problems in P are efficiently computable.