Let (xii(Xi,Di))(x_i i (X_i,D_i))(xii(Xi,Di)) be klt singularities for i=1,2i=1,2i=1,2, and write ni:=dimXin_i:=\dim X_ini:=dimXi. Let πi:X1×X2→Xi\pi_i:X_1\times X_2\to X_iπi:X1×X2→Xi be the projections. Conjectural product formula. … The formula…