not (half != div)
