Abstract
First of all, this paper explains the nature of formal descriptions and the importance of the ability to calculate properties of them and relations between them.
Thereafter, it discusses the existing resistance to use design calculi and a policy to take away this resistance, pursued at various places in Europe and at UNU/IIST.
Electronic version.