if !includeTerminator then it is not necessarily true