Abstract structure I

by Tim Smits