この図は、受信者（「To」）を指定する式の定義の様子を示しています。