edited rice's theorem post