Dom föll den 10 November.