Give two more test cases; improve the sepcification a bit (not essential)