lifting, pi_1(S^1)