(C {<complete>} {<-u>} {<chfn>})