narrow-lk refl cases