"(C2 x (C3 : Q8)) : C2"
