“ZF can quote formulas as structured, and encode models as sets …
Was there supposed to be a word after “structured” and before the comma?
Was there supposed to be a word after “structured” and before the comma?