שליחה במסרון: Institution-independent model theory