complete context notation with before