KR ex7-4: Initial commit