homotopy: cleaning up van Kampen
homotopy: working on Whitehead