HalvingAnd