Which of the following is true for the solutions to critical$-$section problems?

choose $1$

No deadlock implies progress, and progress implies bounded waiting

Bounded waiting implies progress, and progress implies no deadlock

Progress implies no deadlock, and no deadlock implies bounded waiting

Bounded waiting implies no deadlock, and no deadlock implies progress