END-USER LICENSE AGREEMENT FOR

The Dan Christensen Proof System (DC Proof).

IMPORTANT--READ CAREFULLY.
This End-User License Agreement ("EULA") is a legal AGREEMENT between you as an individual and the author, Dan Christensen ("Author"), for the software product identified above ("Product").

By installing, copying, or otherwise using the Product, you agree to be bound by the terms of this EULA. If you do not agree to the terms of this EULA, then DO NOT install or use the Product; press the CANCEL button to exit this Setup.

1) GRANT OF LICENSE. This EULA grants you the following rights:

* Installation and use. You may install, use, access, display and run one copy of the Product on a single computer, such as a workstation, terminal or other device ("Workstation Computer"). The Product may be used only by you on the Workstation Computer.

2) LIMITATION OF LIABILITY.

TO THE MAXIMUM EXTENT PERMITTED BY APPLICABLE LAW, IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY SPECIAL, INCIDENTAL, INDIRECT, OR CONSEQUENTIAL DAMAGES WHATSOEVER (INCLUDING, WITHOUT LIMITATION, DAMAGES FOR LOSS OF BUSINESS PROFITS, BUSINESS INTERRUPTION, LOSS OF BUSINESS INFORMATION, OR ANY OTHER PECUNIARY LOSS) ARISING OUT OF THE USE OF OR INABILITY TO USE THE SOFTWARE PRODUCT OR THE PROVISION OF OR FAILURE TO PROVIDE SUPPORT SERVICES, EVEN IF THE AUTHOR HAS BEEN ADVISED OF THE POSSIBILITY OF SUCH DAMAGES.

3) The use of this Product in a commercial or institutional setting, for other than the purposes of evaluation, is prohibited without the express written consent of the Author.