Happiness is — a revetment with a shady roof. . .