UIIC Assistant Reasoning topics Archive