pragmatists headers update