Got up to Bolzano-Weierstrass