(elementary_tree 0) --> [0,0] is MP-wff