How to do the formal method

12 years ago