In linguistics, both Generative Theory and Systemic Functional Theory of Language do not support analyses of "Carthago delenda est" in the way it is proposed above. For instance, the French active non-finite verbs "sorti(e)" and "entré(e)" as in "il est sorti/entré" and "elle est sortie/entrée" agree in number and gender with the subject in the same way as "delenda" does, but these words are not considered a non-finite sentence in Generative Theory nor a non-finite clause in Systemic Functional Theory on their own. In the example "Carthago delenda est"/"Carthago must be destroyed", the verb "est" is a modal voice auxiliary because it functions both as modal and as voice. A syntactic tree for the clause "Carthago must be destroyed" is shown below: