New: kr-introduce