Sorry. according to my argument, the first case is an infinite loop.