FORMAL ANALYSIS SAMPLE [FODLER]
Notes: SYL ART 205