defined Algebra data structures, etc