Sec9 further defined using OKD