Check out my first novel, midnight's simulacra!

Rice-Shapiro Theorem