They were the first group to reclimb Mount Everest.

This is a standard method that constructive mathematicians routinely apply in their constant struggle to constructivise classical mathematical theorems ([47], [83]).

We have had several heavy snows this year.

[T]he majority of human beings born under the influence of Mars—the Martians (or Martials)—are heavily built but physically strong. … [T]hey are easily angered, and, for the time being, forget everything in the excess of their violence. The worst Martian type will commit murder before he knows it.