copy ex3 to ex4
wip on test9 with explicit contexts