Due to the lack of kindbind in interfaces, we need to standardize on wff or formula. Pick the latter, it is more self explanatory and there is little need to have a concise word for strings which are not well-formed.
Due to the lack of kindbind in interfaces, we need to standardize on wff or formula.
Pick the latter, it is more self explanatory and there is little need to have a concise word for strings which are not well-formed.

raphlinus/ghilbert,raphlinus/ghilbert,raphlinus/ghilbert,raphlinus/ghilbert