KR1 implemented