Separates complete from complete info for recursion
Updating semantics