test drove algebraic structures from scratch, got as far as "now how to verify laws??"