Text this: Grothendieck Construction of Bipermutative-Indexed Categories.