The papers are filed and the divorce proceedings are... proceeding. Carmen Electra made the first move to make the separation legal between her and Dave Navarro. Carmen is asking that their pre-nup be upheld and no spousal support be awarded to either party.

Legal papers filed in Los Angeles Superior Court state that petitioner "Tara Patrick, a.k.a. Carmen Electra," 34, and Navarro, 39, wed on Nov. 22, 2003, and separated on July 18, 2006 - “ the day after they announced they were "amicably separating."
Citing irreconcilable differences, Electra requests that their assets be divided as specified in their prenuptial agreement and that the court not award spousal support to either party. They have no children. (source)