Formal introduction