Hot: kr-introduce