I believe exercise 1 is now ready also. Still working on a quite sophistaced test-script, should have done this much earlier. I'm trying to make all my premisses explicit, and to make up a test for it as well.