← Abstraction for Solving Large Incomplete-Information …