[BoarGules]

Thanks, it turns out I was doing the right thing but my error was elsewhere. Knowing that what I was doing really ought to work was the fixed point in the reasoning that I needed.