a new security constraint: KRun.