twas mimsy and the borogroves
