thesis: add in sec4 complexity