Senate Republican Leader John Braun shares how the 2023-25 Senate operating budget proposal invests in education.