שליחה במסרון: Logical framework :