... 's definition of necessity as "L-truth" was right, just failed ... truth with quantification alone, but L-truth will end up reducing ... the irreducibly modal nature of L-truth. But in that case ... variable for any wff, including L-true wffs. Combinatorialist PWS gets ...