This model theory problem is resisting all efforts at solution. I am failing to be able to use the assumption that lambda is uncountable in particular. Jammed with Drew, Steve Hayashi, Anne, Kevin. Tried to set up a PayPal account. Looks like I have to wait a couple days to activate it or something.