Theoretical results
[Last modified Tue Aug 24 2004.]