Figure 1: Object diagram before recovery.