People assume that equality is simply a matter of comparing things for identity, but actually, from a non-strict homotopic viewpoint, it's more like a big ball of wibbly-wobbly, univalent... stuff.