** Using WeBWorK **

I think I see a typo in contextInequalities.pl. I'm not sure that it is hurting anything, but my eyes caught it as I scanned the code on github. Lines 149 and 152 use the key 'associateivity' instead of 'associativity'.