2008. Necessary and sufficient condition. The Reasoner. 2, 7 (Jul. 2008).