https://9dok.net/document/qmjr4xj7-finiteness-liftability-postcritically-finite-quadratic-morphisms-arbitrary-characteristic.html