See linCongC.