infinite mind reading from Lect3 prob 4