Learning krl is hard.