ia logic