Title: Testing program to accompany Discovering algebra