When representing any algebraic expression E which uses only binary operations in a 2-tree,
the variable in E will appear as external nodes and operations in internal nodes
the operations in E will appear as external nodes and variables in internal nodes
the variables and operations in E will appear only in internal nodes
the variables and operations in E will appear only in external nodes