Henrik Carlsson posted this note on 16 jan 20 @odd That sounds like a reasonable approach to things. ∞