no trailing underscore
initial considerations; there is a concurrency problem, since all of session handling within Proc is deliberately not threadsafe. Thus the decision is to make this the gui::model::SessionFacade's responsibility
