По крайней мере, я узнал, откуда взялся такой нетривиальный перевод, а то никак не мог сообразить. Теперь понимаю: игра слов. Спасибо, что разъяснили!