thesis: fix sec4