a bunch of tests for associativity and stuff. These all seem to pass, which makes me suspicious