so what about "pfaffian system" and/or dgca as something like "interlocking system of de's, one each with solution candidates being n-simplexes in space x, with face of solution as solution of previous one ..." or something ... ???subject to complications involving "syntactic vs semantic consistency" and so forth ... ???....