Archived tweet #11398 from the @leastfixedpoint Twitter Archive@dyokomizo I misread the question, and picked option 2. Having thought harder about the wording, I think instead option 1 has more practical use so I'd go for that instead. I "shut up and multiplied" too early!