there are tests covering (3). but I don't quite understand (4)...