David Quinterodavidsuculum@mathstodon.xyzOct 12, 2026, 3:18 PM@gregeganSF wishing you the best, and thanks for the explanation.