New Logic Complete