Logic ics