https://123dok.net/document/qmjrr229-assume-vmrt-general-point-smooth-irreducible-degenerate-covered.html