the lawsuit against the Colorado public school system