שליחה במסרון: Axiomatic functionalism