No, I did not prove it correct. I sat at a terminal at midnight and fiddled with it until it worked.