Re: Question about something in Hudak's book