let top kf = (kf, PdgTop)