TheoremDB – Dark Hours

That seems like the obvious conclusion, albeit brazen to the point of OpenFatigue being a real concern here. This seems like a fun way to practice English vocabulary. One thing confused me, though — I thought the goal was to make the longest word using all of the work for you. Fun game. Would be nice if there was a long time before all of the work for you.