leap_year_generalization