Tekstiviesti: Institution-independent Model Theory