https://9dok.net/document/yng7kom0-exercise-star-free-fo-lt-definable-a-let.html