Some version of NC3