ZAPO-2018L/z3-use-case/reviews/329575/solution-badd1.md