@felixsalmon @max_read conceptually it's challenging but doable, but it basically takes a @Medium-scale effort to deal with the edge cases.