since any loop in SO(3; 1) traversed twice, due to the double connectedness, is contractible to a point, so that its homotopy class is that of a constant map. It follows that Π is a double-valued function. It is not possible to consistently choose a sign to obtain a continuous representation of all of SO(3; 1), but this is possible locally around any point.