lifts of maps, existence and uniqueness of coverings
unfortunately there's no sound in the second half