Source: https://courses.engr.illinois.edu/cs374/fa2015/slides/Undecidability-Rice.pdf