https://9lib.org/document/yng9d48l-specifically-generalized-positive-conjecture-assumes-signature-manifold-correct.html