<a href="http://mathworld.wolfram.com/ResolutionPrinciple.html" rel="nofollow">http://mathworld.wolfram.com/ResolutionPrinciple.html</a><p><a href="http://en.wikipedia.org/wiki/Resolution_(logic)" rel="nofollow">http://en.wikipedia.org/wiki/Resolution_(logic)</a><p><i>Latin and Greek are much overrated, I think, especially by people like you who never had any.</i><p>Break out the pitchforks.