Necessary and sufficient condition (The Reasoner, 2008)