Published May 12, 2016 at 134×111 in superbdv2.