Guiding center theory for ion holes in magnetized plasmas.