added explanation for infinite intersection formula for K_c