Figure 2: System implementation in Homer.