Title: FORMAL ANALYSIS SAMPLE [FODLER]