Fixed exp9.
Merge branch 'master' of github.com:LeifAndersen/experimental-methods-in-pl