Running the program for the first time should probably run the user through a tutorial with a concise yet complete usecase graph ...