def compute_school_holiday_lead(df, shift=-1):
    """Compute leading indicator for school_holiday."""
    school_holiday_lead = df.groupby("store")["school_holiday"].shift(shift)
    return school_holiday_lead.fillna(0).astype("double")