GIM mechanism start to be old for me last time I studied it.
I understand that for K0 we have FCNC, but why can't we have :
u ubar + ... -> Z0 -> nu nubar ?
This diagram is suppressed by mnu/MZ, but why do we need CKM and stuff like that ?
Can you explain a bit more ?