Leslie Lamport thinks the same: https://dl.acm.org/doi/fullHtml/10.1145/2736348 ...

		discreteevent on June 9, 2020 \| parent \| context \| favorite \| on: Ask HN: Which tools have made you a much better pr... Leslie Lamport thinks the same: https://dl.acm.org/doi/fullHtml/10.1145/2736348 Even a rough sketch is good enough a lot of the time: https://m.youtube.com/watch?v=-4Yp3j_jk8Q