We should make sure our captain always has a double-headed coin in the sock, just in case this happens again.