Thanks, Mamya. I hadn't heard of the good saint, but his treatment at the hands of the Romans certainly looks as if he came close to being decapitated. Carton's last words could, I suppose, be a loose 'translation' of what he's supposed to have said: 'It is a far, far better thing...' etc. Anyway, we got there, in the end!