Students of the Open University The Netherlands are using FormalZ to learn about formal specifications. There performance will be monitored to write up the final evaluation of the tools for the IMPRESS project.