What is Model Theory? trkern.github.io/hrumc