A few weeks ago, I got a piece of email from a friend.

Maintenance crew in cockpit. They just told the pilot that the airplane "double faulted."