Just
test and mistake correction
Translation, and passing more arguments to strategy test
Now possible to select all models for strategy test
Now treating exercises