  As Cotnoir (2009) emphasizes, Edwards’ proposal provides too little information about the nature of true\(_k\). What little is provided makes transparent the commitment to true\(_k\)’s being a truth property had only by conjunctions, in which case it is unclear whether Edwards’s solution can generalize. In this regard, Edwards’ proposal is similar to Lynch’s functionalist proposal, which is committed to there being a specific realizer property for each type of logical compound.