Model theory and combinatorics of banned sequences - Hunter Chase; James Freitag (2018)