File:A formal introduction.png