AssumeList Fact Sheets