CL V2

= CL_v2 =

see: CommonLogic_v2