Date: 04/14/05 (Algorithms) Keywords: no keywords
Please prove, using propositional logic, that horsies are pretty.
Source: http://www.livejournal.com/community/algorithms/52172.html