SMS: Intermediate logic