exercises in homotopy, see #217