Giving educators 15% is good policy