Happy is a man who goes hunting for rats and catches an elephant.