Գրեք սա: Introduction to the formal method