The teachers of Columbus, Ohio, went on strike and gained important victories.