work fine for the example case