Void function main():
	// Initialize the Core Formalism

	// Create the Model itself
	// TODO

	// Make us an admin user
	// TODO

	// Switch all new users to the user_function
	// TODO

	// Call this for ourselves as well
	user_function()

	// Done, so finish up
	return !

Void function user_function():
	// Add user to Core Formalism

	// Delete user from Core Formalism
	return !