Formal methods introduction (I)