Zaslat SMS: Inter-model reflection principles