Գրեք սա: Institution-independent model theory