Lecture 12 Restricting RE