Mac OS X 10.2 Jaguar – Page 2 – (09/2002): “First, the optimistic take. Historically, code names have been chosen without much regard for how well they work as product names. This allows code names to be strange and exotic. Examples from inside Apple include ‘Brazil’, ‘Spock’, ‘Nimitz’, ‘Reno’, ‘Serrano’, and even the infamous ‘Carl Sagan’–later litigated into ‘BHA’ (Butt Head Astronomer) and then finally LAW (‘Lawyers are Wimps’).”