(Since it is not immediately obvious what will happen, better to add this scenario to the test.)