C=KRAK_(T4|(T4,B4))(|L);