[001M] Exercise 6.1.3·b.

Prove that $\overline{B}$ is a cocartesian fibration if and only if $B$ has pushouts.