Yes, I think you have the answer..... Firstly, they MUST ruff the 3rd ♠ (else you can just pitch your last ♦ loser and you are home. So, they ruff (I think it irrelevant which trump they use), and you must overruff. Then, cross to A♣ and play that 4th spade. Again, they must ruff otherwise you are home, but when they do ruff, you pitch your ♦. Now you can trump any continuation, and draw RHO's remaining trump. Well done, and thanks !