@andyc and we would have to wait a week to find out the result. And Trump would declare himself the winner in any case.