I review some of the recent progress (up to September 2005) in applying non-Abelian discrete symmetries to the family structure of leptons, with particular emphasis on the tribimaximal mixing ansatz of Harrison, Perkins, and Scott.