This work was funded by DARPA under Contract F30602-98-2-0144, and by NASA under Contract 276685/NAS5-00212. Mathematica fonts by Wolfram Research, Inc.