clarify and add citation about rice's theorem