The Root Logic---Some Technical Details
created 5/1/96 modified 5/1/96