/doc/design/assistant/blog/day_265__correctness/