creating new contexts in or-intro.