Robin Berjon @robinberjon · 15 Aug 2017 Replying to @null and @dauwhe, @t I don't think anyone has much patience left for the idea of extending that to an arbitrary set.
