% References cited in https://agora.t9k.dev/t/315/nonhomeomorphic-closed-aspherical-four-manifolds