@Succinct собираются доказать с $PROVE с 1.1, и он также скоро дойдет до 1.5, вы снова увидите РАСТУ.