Cherry Pie

INGREDIENTS

• :
• 3 cups all-purpose flour
• 1 teaspoon salt
• 2 tablespoons granulated sugar
• 10 tablespoons cold unsalted butter, cut into ¼-inch pieces
• 7 tablespoons vegetable shortening
• 10 tablespoons ice water
• 1¼ cups granulated sugar
• ¼ cup cornstarch
• ¼ teaspoon ground cinnamon
• Pinch salt
• 6 cups sour cherries, pitted (See note below.)
• ¼ teaspoon almond extract
• 1 tablespoon water
• 1 tablespoon granulated sugar