This is based on the discussion in https://github.com/project-oak/oak/pull/2556#discussion_r813203335