Generic expansion of an abelian variety by a subgroup. Issue 4 (5th November 2021)