The opposite case is tested in the other tests.