Computers correctly play a double if required.