Added Example Workspace code from M. Juvrud