Kiki\'s extension