AFFIRMATIVE LOGIC