Groupoid and covering.