corresponding conditional (logic)