ยง Van Kampen theorem (WIP)