  We establish conditions giving the existence of bipullbacks in bicategories
of fractions. We apply our results to construct a $\pi_0$-$\pi_1$ exact
sequence associated with a fractor between groupoids internal to a pointed
exact category.
