Re: Double spending, i.e. X in S == not X not in S