Berger-Tung inner bound

GPTKB entity