A1 HOMOTOPY // tap to explore affine line contractibility