\min(|A|+|B|-1,p)