"(C2 x Q32) : C2"
