@XanderHenderson Thanks for at least taking the time to discuss it. @XanderHenderson I don't know why you think the linked question is a dup. That question proposes a possible homotopy, and the answers explain why that homotopy doesn't work. I am looking for a proof that no homotopy will work.