Update Latex
Add Rice's theorem