As to Count I.
I. A justified person has not the strength with God’s grace to carry out the objective demands of the
divine law, as though any of the commandments of God are impossible for the justified; or as meaning
that God’s grace, when it produces justification in an individual, does not invariably and of its nature
produce conversion from all serious sin, or is not sufficient for conversion from all serious sin.
– Open Letter to Bishops of the Catholic Church, Easter Week, 2019
FUNDAMENTALS OF CATHOLIC DOGMA, Ludwig Ott > BOOK FOUR > The Doctrine of God the sanctifier > PART 1 The Doctrine of Grace > SECTION 1: Actual Grace > Chapter 3: The Distribution of Actual Grace > §11. The Universality of Grace > p.258:
2.a) God gives all the just sufficient grace (gratia proxime vel remote sufficiens) for the observation of the divine commandments. [De fide.]
… De fide …
To hold a position contrary to 2.a) above is to hold a heretical proposition. Therefore, Count I. is a heretical proposition (propositio haeretica) or a proposition opposed to a formal dogma [2.a) above].