https://123dok.net/document/zlg2jx9o-strategy-tannakian-cebotarev-convergentqp-isocrystals-satisfying-parabolicity-conjecture.html