-

Typed up some of algebra and model theory.