Complete Formal Term