Figure 5: Extracted calculi