Seminars week 40: Since we ¡­

Seminars week 40: Since we did not succeed to discuss the Rice exercise 3:10 planned for the seminar week 40, a solution to that particular exercise has been put on the net.