Reading list: Logic Class
needed for logic class ICC