Figure 8. Formal Design of “Forgotten”