At least `SimpleCompleteCICP`