Hi All, No, it's not RAS' theorem. It is true, I have a proof BUT I should have added that it refers to lead-end calls only. That's why Grandsire needs calls acting as they do. I didn't think of Grandsire - but then I never do. R