Writing HLCG once again