intro (logic)