Zaslat SMS: Institution-independent model theory