1. REDIRECT Rice's Theorem with Examples