CC3 formal version 1