work on discrete contexts for sessions