I did, and I appreciate your willingness... I think I’m all set, though, in the math department with it as of some of the interactions in this thread. There is a metamath component I’m pursuing now, which is part of the underlying question, but this thread is coming to a close; if there’s something very specific you think the math will elucidate, feel free to PM me.