ght: normal; font-size: medium;">
	<a name="login" id="login"></a>Logging In</h4>
<p><strong style="font-family: 'Times New Roman'; line-height: normal; font-size: medium;">NOTE: On a newly installed copy of OpenCyc, you need to log in first as CycAdministrator. Then, while logged in, you can go back to the login screen and enter a new name to log in as. A new contstant will be created using the new name, and it will be asserted to be an instance of HumanCyclist.</strong></p>
<p style="font-family: 'Times N