C1:="CYC.CYC1";C2:="CYC.CYC2";C3:="CYC.CYC3";C4:="CYC.CYC∞";c>o && cross(c,c1) && cross(c,c2) && cross(c,c3) && cross(c,c4);