hard but very worth it! my favorite levels were 6, 8, and 5. I like how the levels were large and hard to parse, but fell apart under examination – lots of small lemmas to grab onto and realize “oh this part has to be first. but how??”
