UNFREEZE ──── object ────┬─ AT rect ──────┬───┬──────────┬────┤
                         └─ OUTSIDE rect ─┘   ├─ WAIT ───┤
                                              └─ NOTIFY ─┘