3[(,z,0[[C^,[B]],`[[^,[B]],le[[C`2[[C^,[B]],lC]