שליחה במסרון: Propositions, functions, and analysis