Model theory of groups and automorphism groups | lit.salon