introduced the notion of session