Avaldis 11: "y" equals "h" left parenthesis, "f" left parenthesis, "x" , right parenthesis , right parenthesisy=hfx
11
Avaldis 12: "y" equals "g" left parenthesis, "h" left parenthesis, "f" left parenthesis, "x" , right parenthesis , right parenthesis , right parenthesisy=ghfx
12
Avaldis 13: "y" equals "f" left parenthesis, "g" left parenthesis, "x" , right parenthesis , right parenthesisy=fgx
13
Avaldis 14: "y" equals "h" left parenthesis, "f" left parenthesis, "g" left parenthesis, "x" , right parenthesis , right parenthesis , right parenthesisy=hfgx
14
Avaldis 15: "y" equals "f" left parenthesis, "g" left parenthesis, "x" , right parenthesis , right parenthesisy=fgx
15
Avaldis 16: "y" equals "f" left parenthesis, "g" left parenthesis, "h" left parenthesis, "x" , right parenthesis , right parenthesis , right parenthesisy=fghx
16
Avaldis 17: "y" equals "h" left parenthesis, "g" left parenthesis, "x" , right parenthesis , right parenthesisy=hgx
17
Avaldis 18: "y" equals "f" left parenthesis, "h" left parenthesis, "g" left parenthesis, "x" , right parenthesis , right parenthesis , right parenthesisy=fhgx
18
Avaldis 19: "y" equals "f" left parenthesis, "g" left parenthesis, "x" , right parenthesis , right parenthesisy=fgx
19
Avaldis 20: "y" equals "g" left parenthesis, "f" left parenthesis, "h" left parenthesis, "x" , right parenthesis , right parenthesis , right parenthesisy=gfhx
