Compute A-B when A or B is weak.