Si “ ; tp “ xp : : : K : i?