TPS DISTRIBUTION AGREEMENT

	TPS is a program for proving theorems which is a vehicle for research
and is still under development at Carnegie Mellon University under the
direction of Peter Andrews of the Department of Mathematical Sciences. It is
available at no cost (except for costs of copying and mailing documentation,
when necessary) under the following conditions:

       The developers of TPS would like to be informed of bugs and
inadequacies in the system and the documentation, but cannot guarantee to fix
bugs or remedy deficiencies. TPS undoubtedly does contain bugs, and is to be
used at the risk of the user; the developers take no responsibility for the
consequences of any errors or deficiencies in the program or its
documentation.

	It is possible that some users will add their own enhancements to the
program or the documentation; the developers would appreciate having them
share these enhancements with us when they can conveniently do so.

	In the event that a program which contains substantial parts
of TPS is developed by users not associated with Carnegie Mellon
University and offered for sale, it must be recognized that Carnegie
Mellon University has rights to a share of the proceeds from such
sales, and an agreement concerning this matter must be reached with
representatives of Carnegie Mellon University before any such sale
takes place.

       TPS, and enhancements of it, may be distributed to third parties
provided that they also agree in writing to these conditions. It is the
responsibility of anyone distributing TPS to third parties to see that
a copy of these conditions is signed by the third parties and mailed to:

			Professor Peter Andrews
			Department of Mathematical Sciences 
			Carnegie Mellon University
			Pittsburgh, Pa. 15213
			U.S.A.

-----------------------------------------------------------------------------

As a recipient of the TPS program, I hereby agree to the above
conditions.

	signature:		____________________________________________

	printed name:		____________________________________________

	address:		____________________________________________

				____________________________________________

				____________________________________________

				____________________________________________

	telephone:		____________________________________________

	email address:		____________________________________________

	date:    		____________________________________________


=============================================================================