Precode for van Kampen theorem.