New: kr-propose