A Shorter Model Theory