Added some notes re: undecidability.