Double negative means in mathematical logic?