שליחה במסרון: Intermediate logic