Pre-cursive k