a ® b^ - a C : c8L0