This is the same case as the above.